step(ls,bs,tm(s,[ctxm(xi_,ls,ip,ip_ls,ip_ls),ctxm(xi_,sp,ip,ip_bs,ip_bs)],pri(lst,[ctxm(xi_,idp2,i,i_is,i_is),pri(aenc,[pri(lst,[ctxm(xi_,u,i_idp2_ls,il2,il2),ctxm(xi_,dot,nI,ss(xi_,nn),ss(xi_,cn2))]),pri(pk,[ctxm(xi_,idp2,kM,kM_is,kM_is)])])]))).
